翻訳と辞書 Words near each other ・ Scott Hull (musician) ・ Scott Humeniuk ・ Scott Humphrey ・ Scott Humphries ・ Scott Hunter ・ Scott Hunter (American football) ・ Scott Hunter (Home and Away) ・ Scott Hutchins ・ Scott Hutchinson ・ Scott Hutchinson (American football) ・ Scott Hutchison ・ Scott Hylands ・ Scott I Kahan ・ Scott Ian ・ Scott Icefalls ・ Scott information system ・ Scott Inlet ・ Scott Inman ・ Scott Innes ・ Scott Interrante ・ Scott Irby-Ranniar ・ Scott Irvin Chevrolet/Craftsman 200 ・ Scott Irvine ・ Scott Irwin ・ Scott Isaacs ・ Scott Isbell ・ Scott Island ・ Scott Island (Nunavut) ・ Scott Ivie ・ Scott J. Andreassi Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Scott information system ： ウィキペディア英語版 Scott information system In domain theory, a branch of mathematics and computer science, a Scott information system is a primitive kind of logical deductive system often used as an alternative way of presenting Scott domains. ==Definition== A Scott information system, ''A'', is an ordered triple $(T,\; Con,\; \backslash vdash)$ * $T\; \backslash mbox$ * $Con\; \backslash subseteq\; \backslash mathcal\_f(T)\; \backslash mbox$ * $\backslash vdash\; \backslash subseteq\; (Con\; \backslash setminus\; \backslash lbrace\; \backslash emptyset\; \backslash rbrace)\backslash times\; T$ satisfying # $\backslash mbox\; a\; \backslash in\; X\; \backslash in\; Con\backslash mboxX\; \backslash vdash\; a$ # $\backslash mbox\; X\; \backslash vdash\; Y\; \backslash mboxY\; \backslash vdash\; a\; \backslash mboxX\; \backslash vdash\; a$ # $\backslash mboxX\; \backslash vdash\; a\; \backslash mbox\; X\; \backslash cup\; \backslash \; \backslash in\; Con$ # $\backslash forall\; a\; \backslash in\; T\; :\; \backslash \; \backslash in\; Con$ # $\backslash mboxX\; \backslash in\; Con\; \backslash mbox\; X^\backslash prime\backslash ,\; \backslash subseteq\; X\; \backslash mboxX^\backslash prime\; \backslash in\; Con.$ Here $X\; \backslash vdash\; Y$ means $\backslash forall\; a\; \backslash in\; Y,\; X\; \backslash vdash\; a.$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Scott information system」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.